L'invention de l'hydraulis — Paul Tannery, Bernard Carra de Vaux