Dictionnaire des biographies - Grimal, Pierre (Presses Universitaires de France, 1958)