Propriétés algorithmiques des extensions linéaires — Vincent Bouchitte