Title: Les Méthodes de la topologie différentielle dans l'étude des variétés semi-linéaires