Journées thématiques : Preuve et Démonstration en Mathématiques, IA et Environnements Informatiques pour l’Apprentissage Humain