300 policiers municipaux dès "cet été" à Lyon : le maire Grégory Doucet l'espère