Auteurs Retourner à l’index Bruno Leclercq Chapitre Preuves formelles, diagrammes et temporalité Bruno Leclercq Rechercher l’auteur sur OpenEdition