Oeuvres de Gerbert pape sous le nom de Sylvestre II, collationnées sur le manuscrits, précédées de sa biographie, suivies de notes critiques et historiques