IREM de Clermont-Ferrand Groupe Histoire et épistémologie des mathématiques