Méthode axiomatique et formalisme, Jean… · Super Livre