Cordon bleu: Antonin Girard’s recipe