Sur la notion de l'infini en géométrie élémentaire — Léon Ripert