Études sur le Commentaire de Proclus au premier livre des Éléments d'Euclide