Dernier adieu des Marseillais à l'ancien maire Jean-Claude Gaudin ce jeudi après-midi