På onsdag begrafdes ” general ” Eudes.