Bonjour à tous

J'utilise DBMS_JAVA.GRANT_PERMISSION pour attribuer des droits d'exécution (sur /bin/sh, en l'espèce), mais je ne sais pas comment m'y prendre pour savoir quels droits sont déjà attribués à un utilisateur donné.
Une lecture sommaire de la doc n'a pas suffi à m'éclairer.

Si un pratiquant des procédures Java passe par là...