dimension d’une algèbre à division