logique_mathematique:start