rmacie était la prochaine étape logique : un test, une confirmation, un problème résolu par la preuve. Mais l'idée d