Revendications. 1. Dispositif pour le contrôle de logiciels industriels, en particulier de logiciels destinés à opérer en temps réel dans une machine informatique dite machine sous test (9), caractérisé en ce qu'il comprend - une machine informatique dite machine de test (1), implantée sur un ordinateur-hôte, - des moyens d'interface (2) propres à permettre l'espionnage du bus interne (63) de la machine sous test (9) et sa recopie selon un format standardisé, ainsi que la synchronisation avec cette machine (9) en fonction de conditions choisies portant sur des données, adresses ou commandes existant dans la machine sous test (9), et - des moyens de test (13, 16, 17, 18, 19, 100 - 195) reliés aux moyens d'interface (2), et propres à permettre l'exécution de séquences d'opérations de test sur la machine sous test (9), indépendamment de la nature de celleci. 2. Dispositif selon la revendication 1, caractérisé en ce que les moyens d'interface (2) comportent - une sonde (6), propre à une communication totale avec le bus interne du processeur (60) de la machine sous test (9); - des moyens d'interface spécifique (3), reliés à cette sonde, pour recevoir ledit bus interne, et le recopier sous la forme d'un bus d'interface (25), selon un format standardisé, et - des moyens de détection de coïncidence (4), propres à effectuer des comparaisons en temps réel portant sur des données, adresses ou commandes existant sur le bus d'interface, afin d'établir des indications de synchronisation pour le contrôle du logiciel industriel. 3. Dispositif selon la revendication 2, caractérisé en ce que les moyens d'interface (2) comprennent aussi des moyens de mémoire de trace (5), reliés au bus d'interface (25), et propres à enregistrer séquentiellement les indi- cations de synchronisation relevées par les moyens de coïncidence (4). 4. Dispositif selon l'une des revendications 2 et 3, caractérisé en ce que la sonde (6) comprend le processeur (60), déporté, de la machine sous test, ainsi que des moyens de commutation (61, 62) permettant la liaison de l1empla- cement de ce processeur dans la machine sous test soit à ce processeur lui-même dans un état normal, les moyens d'interface spécifique (3) recopiant alors le bus interne dans le bus d'interface (25), soit aux moyens d'interface spécifique (3), dans un état de pilotage direct de la machine sous test (9) à travers cette interface spécifique, et en ce que la sonde (6) comprend aussi une mémoire à double accès (65), avec gestion matérielle de priorité d'accès, reliée, dans l'état de pilotage,d'une part au processeur déporté, d'autre part au bus interne allant vers l'unité d'interface spécifique, la mémoire à double accès contenant un programme moniteur propre à faire tourner le processeur déporté sur une boucle d'attente. 5. Dispositif selon l'une des revendications précédentes, caractérisé en ce que les moyens de test sont propres à contrôler l'état de mise sous tension de la machine sous test, à lancer le logiciel à tester à partir de toute adresse particulière, à l'arrêter, à lire ou modifier les contenus des registres internes du processeur de la machine sous test, ainsi qu'à surveiller les paramètres de ce processeur et en modifier la valeur. 6. Dispositif selon l'une des revendications précédentes, caractérisé en ce que la machine de test (1) possède un processeur (13), des périphériques d'entrée/sortie (11,12), des mémoires de travail et de programme (16,17), et un bus principal (20) également relié aux moyens matériels d'interface (2), cette machine de test pouvant ainsi contrôler, à travers les moyens matériels d'interface (2), l'exécution de tout ou partie du logiciel industriel à tester, dans ses conditions normales de fonctionnement dans la machine sous test. 7. Dispositif selon la revendication 6, caractérisé en ce que la machine de test (1) reçoit aussi une carte ou table de symboles-mémoire du logiciel industriel à tester 8. Dispositif selon la revendication 7, caractérisé en ce que ladite carte (105) est élaborée automatiquement par un post-processeur du programme source du logiciel tester. 9. Dispositif selon l'une des revendications 6 à 8, caractérisé en ce que la machine de test reçoit en outre un modèle de comportement du logiciel à tester, pour comparer le second au premier. 10. Dispositif selon l'une des revendications 6 à 9, caractérisé en ce que la machine de test (1) est dotée d'un langage de test qui est un langage structuré de programmation de haut niveau muni en outre d'instructions spéciales comprenant, au moins . le chargement et l'exécution du logiciel industriel par la machine sous test, ainsi que . la définition de variables sous test, et d'au moins un type de points de contrôle, et la validation d'un tel point de contrôle dans le logiciel à tester, en ayant recours à l'unité de coïncidence, et en ce que la machine de test (1) possède également un traducteur, comprenant au moins un interpréteur (130) ce qui permet l'exécution contrôlée de tout ou partie du logiciel à tester. 11. Dispositif selon la revendication 10, caractérisé en ce que le langage de test comprend aussi des instructions permettant des simulations de toutes autres instructions, pour exécution temporaire dans le logiciel sous test. 12. Dispositif selon l'une des revendications 10 et 11, caractérisé en ce que le langage de test comprend encore une instruction permettant la vérification de toute condition booléenne voulue, en tout point de l'exécution du logiciel sous test. 13. Dispositif selon l'une des revendications 10 à 12, caractérisé en ce que la machine de test est également munie d'un compilateur (140), propre à élaborer un codeobjet, à partir d'un code source élaboré interactivement à l'aide de l'interpréteur. 14. Dispositif selon l'une des revendications 10 à 13, caractérisé en ce que les éléments logiciels (120) de la machine de test sont écrits en PASCAL ISO niveau 0, l'interpréteur et le compilateur étant développés à l'aide du métacompilateur LILA. 15. Dispositif selon l'une des revendications précédentes, caractérisé en ce que la machine de test (1) et la machine sous test (9) sont implantées dans un même ordinateurhôte. 16. Procédé pour le contrôle de logiciels industriels, en particulier de logiciels destinés à opérer en temps réel, sur une machine informatique dite machine sous test (9), caractérisé par les opérations suivantes a) espionner le bus interne (63) de la machine sous test (9), et le recopier (25) sous un format standardisé, b) établir un jeu de conditions choisies (5) portant sur des données, adresses ou commandes existant dans la machine sous test (9), et surveiller (4) la coïncidence de l'état de la machine sous test (9) avec l'une de ces conditions, et c) exécuter une séquence d'opérations de test utilisant lesdites conditions choisies, ce qui permet de définir la séquence d'opérations de test indépendamment de la nature de la machine sous test 19). 17. Procédé selon la revendication 16, caractérisé en ce que la séquence d'opération de test comprend l'une au moins des opérations consistant à contrôler l'état de mise sous tension de la machine sous test, à lancer le logiciel à tester à partir de toute adresse particulière, à I'arrêter, à lire ou modifier les contenus des registres internes du processeur de la machine sous test, ainsi qu'à surveiller les paramètres de ce processeur et en modifier la valeur. 18. Procédé selon l'une des revendications 16 et 17, caractérisé en ce que l'opération c) comprend la préparation du logiciel à tester par (1) écriture de son code-source (200) ; (2) passage à son code-objet (220), avec compilation (210) (3) établissement (215, 190, 199) d'une liste complète des symboles utilisés par ledit code-objet (220), comprenant leur carte d'implantation en mémoire dans la machine sous test (9) ; (4) écriture d'un programme de test (110), en code sour ce, dans un langage de test, tel que défini dans l'une des revendications 10 à 12, ce programme de test comprenant, au moins, un modèle de comportement du logiciel à tester ; et (5) traduction (120) du programme de test en code exécutable par la machine de test. 19. Procédé selon la revendication 18, caractérisé en ce que le programme de test (110) comprend également l1éta- blissement de points de contrôle (131) dans le logiciel à tester. 20. Procédé selon l'une des revendications 18 et 19, caractérisé en ce que l'étape (3) est réalisée automatiquement par un post-processeur (190).