Sémantique opérationnelle et langage de spécification de moteurs d'inférences de systèmes experts — Jean Sylvestre