Mort de Jean-Claude Gaudin : des obsèques à la Cathédrale La Major, et avec Macron ?