Outils de topologie algébrique pour les variétés