Le feuilleton de l’été sur les nominations des patrons de la police et de la gendarmerie a pris fin jeudi, Elysée et gouvernement s’accordant sur le nom du préfet Louis Laugier pour diriger les 155.000 policiers et sur celui du général Hubert Bonneau p…