Olympiodorus - Plato, 427-347 a.C (North-Holland publ., 1956)