Archivmaterialien zu Alain de Mijolla, 1933-2019 - Mijolla, Alain de