Jean-Noël Jeanneney nommé président de la Bibliothèque nationale de France