Audition de M. Olivier SERRE, Directeur adjoint scientifique du CNRS Sciences informatiques