François-Joseph Ruggiu, nouveau directeur de l’InSHS