Décès de François Michelin, l'ancien dirigeant du groupe Michelin