Quelques théorèmes de géométrie différentielle globale