Merci pour vos apports. Je vous signale les Projet:Informatique théorique, Projet:Logique et Projet:Mathématiques qui pourraient vous intéresser. Bien cordialement --Epsilon0 ε0 11 février 2019 à 00:26 (CET)Répondre