Mort de Jean-Claude Gaudin : ses obsèques se tiendront à la Cathédrale La Major ce jeudi à 15h