@ploum Une possibilité. Pas sûr où envoyer le .patch (encore jamais utilisé sourcehut, ni git send-mail), mais c'est pas long à tapper ^^