Dictionnaire biographique français contemporain.