Le LOCUTEUR implique. L' ÉCOUTEUR infère. Le TYPE respecte.