博士论文 : Algorithmes symboliques-numériques en algèbre diférentielle