Le roi Renaud de guerre revient / Chanson du capitaine/ Giroflé, Girofla