42715Formalisme, formalisation, intuition et compréhension en mathématiques : de la pratique informelle aux systèmes formels et retour [En savoir plus]FFIUM - ANR-17-FRAL-0003FRAL - 2017Voir les documents associés Exporter Export XML Export RDF