Spécifications sémantiques dans le système MENTOR — Thierry Despeyroux