Prime de feu et réforme des retraites : les pompiers professionnels mettent un terme à leur grève