Pour enseigner la philosophie des mathématiques — Institut de recherche sur l'enseignement des mathématiques. Groupe Philo-math. Strasbourg