Algèbres enveloppantes quantifiées, groupes quantiques compacts de matrices et calcul différentiel non commutatif