Title: Demi-groupes résidutifs