Sémantique pour l'analyse : de la linguistique à l'informatique