Comment obtenir des cadres gris ?

Avec l’extension shade

L’extension shade définit une commande \shade permettant d’obtenir cet effet.

Avec l’extension psboxit

L’extension psboxit permet d’obtenir du gris ou de la couleur par insertion de code Postcript.