«Tiens, voilà du boudin !» : d'où vient le chant officiel de la Légion étrangère ?