Un Système expert en diagnostic de panne pour un réacteur nucléaire à neutrons rapides comportant un système de traitement d'équations et d'inéquations — Serge Himbaut