Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle Viviane Durand-Guerrier Publications mathématiques et informatique de Rennes