Ouvrir la « Page d’accueil », sur le site de la bibliothèque de l’École polytechnique, Palaiseau (consulté le ), sélectionner l’onglet « Catalogues » puis cliquer sur « Famille polytechnicienne », effectuer la recherche sur « Marc Chervel », résultat obtenu : « Chervel, Marc Eugène Lucien (X 1952) ».