sémantics++