"C'est une immense tristesse": Renaud Muselier réagit à la mort de Jean-Claude Gaudin