Assassinat de Philippe Henriot, un des chefs de la milice par les résistants