Je viens de fusionner ces éléments, mais le résultat est un peu brouillon, désolé. En tout cas, ce bug de longue date est désormais résolu (je l’avais aussi remarqué, mais je n’avais jamais pris le temps de le signaler).
1 « J'aime »