Décès de l'ancien chef triplement étoilé Emile Jung