Durcissement des peines pour les agresseurs de policiers et de gendarmes : les pompiers oubliés