Fin de la grève, pour les pompiers professionnels