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 « Jean-Luc Tavernier », résultat obtenu : « Tavernier, Jean-Luc André Marcel (X 1980) ».