Homotopie-equivalentie - andere talen