Source: https://hal.archives-ouvertes.fr/hal-00617305/file/bonnay_dubucs_philosophie_des_mathematiques.pdf