Logique et démonstration automatique - Université Grenoble Alpes