Semi-groupe topologique