Logique et preuves mathématiques — Pierre Mercuriali