Extensions semi naturelles