Bernard, Jean-Michel, Indexeintrag: Deutsche Biographie, https://www.deutsche-biographie.de/pnd135214351.html [22.07.2024].