Europe. - Pruvost, Pierre, 1890-1967; Denizot, Georges, 1912-2009 (Lexique stratigraphique international ;, 1957)