Liaison dynamique: sémantique formelle et exploitation fonctionnelle.