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