À l’heure d’écrire ces lignes, nous n’avions pas encore connaissance des heures d’ouverture de cette « nouvelle » antenne de police de la gare du Midi…