Doubles flèches

Malheureusement, pour \rightrightarrows, on n'a pas le caractère permettant d'étendre la double flèche. La solution de Heiko Oberdiek donnée ici a l'air de bien marcher. Avec son code, on peut faire une flèche de longueur arbitraire avec par exemple :

$A \xrightrightarrows{\kern 4em} B$

Avec plaisir. J'ai un petit peu simplifié la syntaxe en utilisant l'argument obligatoire au lieu de l'argument optionnel.