France : décès de François Michelin, ancien patron du groupe industriel