logique_mathematique:mémoire:start