+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>\r
-<cata xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://chercheurs.edf.com/logiciels/efficas" xmlns:efficas="http://chercheurs.edf.com/logiciels/efficas" xsi:schemaLocation="http://chercheurs.edf.com/logiciels/efficas ../Efi2Xsd/ModeleEficas/Model%20Efficas%20(1.1)%20%20v9.xsd">\r
- <commandes>\r
- <OPER efficas:nom="CREECARTE">\r
- <SIMP efficas:nom="UNITE" efficas:statut="f" efficas:minOccurences="1" efficas:maxOccurences="1">\r
- <!-- La cohérence entre minOccurences et maxOccurences n'est pas vérifié -->\r
- <valeurDef>\r
- <!-- Essai liste : si maxOccurences == 1 ne devrait pas pouvoir être une liste -->\r
- <!-- <typesimple xsi:type="efficas:T_list_I">21 22</typesimple>-->\r
- <!-- Erreurs volontaires : -->\r
- <!-- <typesimple xsi:type="efficas:T_I">21 34 </typesimple>-->\r
- <!--<valeurDef xsi:type="T_I">21 2.2</valeurDef>-->\r
- <typesimple xsi:type="efficas:T_I">21</typesimple>\r
- </valeurDef>\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- </SIMP>\r
- <typeCree>carte</typeCree>\r
- </OPER>\r
- <OPER efficas:nom="CREECARTEFLUX">\r
- <SIMP efficas:nom="NOMFLUX" efficas:statut="o">\r
- <valeurDef>\r
- <TXM>dsd</TXM>\r
- </valeurDef>\r
- <nomTypeAttendu>TXM</nomTypeAttendu>\r
- </SIMP>\r
- <typeCree>carte_flux_r</typeCree>\r
- </OPER>\r
- <OPER efficas:nom="CREEMAILLE">\r
- <SIMP efficas:nom="NOEUDS" efficas:statut="o" efficas:minOccurences="1" efficas:maxOccurences="-1">\r
- <!-- La cohérence entre la cardinalité et le type de valeur par défaut n'est pas vérifié -->\r
- <!-- La cohérence entre la cardinalité et la taille de la liste n'est pas vérifié -->\r
- <valeurDef>\r
- <typesimple xsi:type="efficas:T_list_I">1 2</typesimple>\r
- </valeurDef>\r
- <!-- La cohérence entre T_list_I et le 'I' du typeAttendu n'est pas vérifié-->\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- </SIMP>\r
- <typeCree>maille</typeCree>\r
- </OPER>\r
- <PROC efficas:nom="E1">\r
- <efficas:regles>\r
- <!-- <EXCLUS>ETAT_INIT RESULTAT</EXCLUS>-->\r
- <EXCLUS>RESULTAT</EXCLUS>\r
- <EXCLUS>ETAT_INIT</EXCLUS>\r
- </efficas:regles>\r
- <FACT efficas:nom="ETAT_INIT" efficas:statut="f" efficas:maxOccurences="-1">\r
- <SIMP efficas:nom="GROUP_MA_1" efficas:statut="o" efficas:maxOccurences="-1">\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- <validators>NoRepeat</validators>\r
- </SIMP>\r
- <SIMP efficas:nom="GROUP_NO_2" efficas:statut="o" efficas:maxOccurences="-1">\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- <validators>NoRepeat</validators>\r
- </SIMP>\r
- </FACT>\r
- <FACT efficas:nom="RESULTAT" efficas:statut="o">\r
- <SIMP efficas:nom="DEPL" efficas:statut="o">\r
- <nomTypeAttendu>R</nomTypeAttendu>\r
- <validators>NoRepeat</validators>\r
- </SIMP>\r
- <SIMP efficas:nom="VITE" efficas:statut="f">\r
- <nomTypeAttendu>R</nomTypeAttendu>\r
- <validators>NoRepeat</validators>\r
- </SIMP>\r
- <SIMP efficas:nom="ACCE" efficas:statut="f">\r
- <nomTypeAttendu>R</nomTypeAttendu>\r
- <validators>NoRepeat</validators>\r
- </SIMP>\r
- </FACT>\r
- </PROC>\r
- <PROC efficas:nom="E2">\r
- <regles>\r
- <UN_PARMI>CONCEPT</UN_PARMI>\r
- <UN_PARMI>CONCEPT2</UN_PARMI>\r
- </regles>\r
- <FACT efficas:nom="CONCEPT">\r
- <SIMP efficas:nom="NOM" efficas:statut="o" efficas:maxOccurences="-1">\r
- <!-- On attend une classe utilisateur quelconque, elle n'est pas nommée -->\r
- <nomTypeAttendu>classeUtilisateur</nomTypeAttendu>\r
- <validators>NoRepeat</validators>\r
- </SIMP>\r
- <SIMP efficas:nom="CHAINE" efficas:statut="f">\r
- <nomTypeAttendu>TXM</nomTypeAttendu>\r
- </SIMP>\r
- <SIMP efficas:nom="POSITION" efficas:statut="f">\r
- <valeurDef>\r
- <typesimple xsi:type="efficas:T_I">1</typesimple>\r
- </valeurDef>\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- </SIMP>\r
- <SIMP efficas:nom="TOUT" efficas:statut="f">\r
- <plageValeur>\r
- <into>\r
- <TXM>OUI Avec Des Blancs</TXM>\r
- <TXM>NON</TXM>\r
- <!-- TODO : On ne devrait pas pouvoir mixer des types différents -->\r
- <!-- <typesimple xsi:type="T_I">1</typesimple>-->\r
- <!-- Ds un autre cas de type attendu, on pourrait avoir une séquence de tuples -->\r
- <!-- <tuple>OUI NON</tuple> -->\r
- <!-- TODO : Vérifier que les tuples sont de type homogène -->\r
- <!-- <tuple>OUI NON 2</tuple> -->\r
- </into>\r
- </plageValeur>\r
- <nomTypeAttendu>TXM</nomTypeAttendu>\r
- </SIMP>\r
- </FACT>\r
- <!-- Test unicité : Ne devrait pas passer -->\r
- <SIMP efficas:nom="CONCEPT1">\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- </SIMP>\r
- <FACT efficas:nom="CONCEPT2">\r
- <SIMP efficas:nom="essai1">\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- </SIMP>\r
- </FACT>\r
- </PROC>\r
- <!-- Test unicité -->\r
- <PROC efficas:nom="E3">\r
- <SIMP efficas:nom="DEFORMATION" efficas:statut="f">\r
- <valeurDef>\r
- <TXM>PETIT</TXM>\r
- </valeurDef>\r
- <plageValeur>\r
- <into>\r
- <!-- Il n'est pas necessaire d'utiliser les "" ds les tuples -->\r
- <TXM>PETIT</TXM>\r
- <TXM>PETIT</TXM>\r
- </into>\r
- </plageValeur>\r
- <nomTypeAttendu>TXM</nomTypeAttendu>\r
- </SIMP>\r
- <BLOC efficas:nom="b_blocIn">\r
- <SIMP efficas:nom="ITER_INTE_PAS" efficas:statut="f">\r
- <valeurDef>\r
- <typesimple xsi:type="efficas:T_I">0</typesimple>\r
- </valeurDef>\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- </SIMP>\r
- <SIMP efficas:nom="ALGO_INTE" efficas:statut="f">\r
- <plageValeur>\r
- <into>\r
- <TXM>ANALYTIQUE</TXM>\r
- <TXM>SACANTE</TXM>\r
- <TXM>DEKKER</TXM>\r
- <TXM>NEWTON_ID</TXM>\r
- <TXM>BRENT</TXM>\r
- </into>\r
- </plageValeur>\r
- <nomTypeAttendu>TXM</nomTypeAttendu>\r
- </SIMP>\r
- <SIMP efficas:nom="CARTE" efficas:statut="f">\r
- <nomTypeAttendu xsi:type="T_nomClasseUtilisateur" efficas:nom="carte">classeUtilisateur</nomTypeAttendu>\r
- <!-- REM : Les deux lignes suivantes sont équivalentes et ne permettent pas de spécifier le nom du type utilisateur, le type anonyme hérite de la classe efficas de base -->\r
- <!-- <nomTypeAttendu xsi:type="T_classe_utilisateur_name">T_classe_utilisateur</nomTypeAttendu>-->\r
- <!-- <nomTypeAttendu>T_classe_utilisateur</nomTypeAttendu>-->\r
- <!-- REM : La ligne suivante est interdite par abstraction -->\r
- <!-- <classeUtilisateurName efficas:nom="carte">T_classe_utilisateur</classeUtilisateurName>-->\r
- </SIMP>\r
- <BLOC efficas:nom="b_carte">\r
- <SIMP efficas:nom="CONTRAINTE" efficas:statut="o" efficas:maxOccurences="-1">\r
- <doc efficas:fr="Options pour le calcul des contraintes et efforts généralisés"/>\r
- <plageValeur>\r
- <into>\r
- <fonctionUtilisateur>C_NOM_CHAM_INTO(phenomene='CONTRAINTE',categorie='lin')</fonctionUtilisateur>\r
- </into>\r
- </plageValeur>\r
- <nomTypeAttendu>TXM</nomTypeAttendu>\r
- <validators>NoRepeat</validators>\r
- </SIMP>\r
- <condition/>\r
- </BLOC>\r
- <condition>"DEFORMATION in ('PETIT','PETIT_REAC','GROT_GDEP')"</condition>\r
- </BLOC>\r
- </PROC>\r
- <PROC efficas:nom="testSIMPList">\r
- <!-- (la validation des éléments de la liste n'est pas possible en xsd) :-->\r
- <!-- (essayer de vérifier la taille de liste en fonction de maxOccurences) :-->\r
- <SIMP efficas:nom="testListI" efficas:minOccurences="0" efficas:maxOccurences="2">\r
- <valeurDef><typesimple xsi:type="T_list_I">12 13</typesimple></valeurDef>\r
- <plageValeur>\r
- <into><typesimple xsi:type="T_list_I">12 13</typesimple> </into>\r
- <into><typesimple xsi:type="T_list_I">22 23</typesimple> </into>\r
- <into><typesimple xsi:type="T_list_I">33</typesimple> </into>\r
- </plageValeur>\r
- <!-- Vérifier la cohérence entre le nomTypeAttendu et les valeurs définies-->\r
- <nomTypeAttendu>I</nomTypeAttendu>\r
- </SIMP>\r
- <!--Ex 3.2 (idem 2.2, idem 1.2)-->\r
- <SIMP efficas:nom="testListTuple" efficas:minOccurences="0" efficas:maxOccurences="2">\r
- <valeurDef><tuple n="3">12 13 14</tuple><tuple n="3">15 16 17</tuple></valeurDef>\r
- <plageValeur>\r
- <into><tuple n="3">22 23 24</tuple><tuple n="3">25 26 27</tuple></into>\r
- <into><tuple n="3">12 13 14</tuple><tuple n="3">15 16 17</tuple></into>\r
- <into><tuple n="3">32 33 34</tuple><tuple n="3">35 36 37</tuple></into>\r
- <into><tuple n="3">42 43 44</tuple><tuple n="3">45 46 47</tuple></into>\r
- <into><tuple n="3">2 3 4</tuple></into> \r
- </plageValeur>\r
- <nomTypeAttendu>tuple</nomTypeAttendu>\r
- </SIMP>\r
- <SIMP efficas:nom="testListTXM" efficas:minOccurences="0" efficas:maxOccurences="2">\r
- <valeurDef><TXM>a a</TXM><TXM>b b</TXM><TXM>c c</TXM></valeurDef>\r
- <plageValeur>\r
- <into><TXM>a1 a1</TXM><TXM>b1 b1</TXM><TXM>c1 c1</TXM></into>\r
- <into><TXM>a2</TXM><TXM>b2 b2 b2 b22</TXM><TXM>c1 c1</TXM></into>\r
- </plageValeur>\r
- <nomTypeAttendu>TXM</nomTypeAttendu>\r
- </SIMP>\r
- </PROC>\r
- </commandes>\r
-</cata>\r
--- /dev/null
+<?xml version="1.0" encoding="UTF-8"?>\r
+<cata xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://chercheurs.edf.com/logiciels/efficas" xmlns:efficas="http://chercheurs.edf.com/logiciels/efficas" xsi:schemaLocation="http://chercheurs.edf.com/logiciels/efficas ../Efi2Xsd/ModeleEficas/Model%20Efficas%20(1.1)%20%20v9.xsd">\r
+ <commandes>\r
+ <OPER efficas:nom="CREECARTE">\r
+ <SIMP efficas:nom="UNITE" efficas:statut="f" efficas:minOccurences="1" efficas:maxOccurences="1">\r
+ <!-- La cohérence entre minOccurences et maxOccurences n'est pas vérifié -->\r
+ <valeurDef>\r
+ <!-- Essai liste : si maxOccurences == 1 ne devrait pas pouvoir être une liste -->\r
+ <!-- <typesimple xsi:type="efficas:T_list_I">21 22</typesimple>-->\r
+ <!-- Erreurs volontaires : -->\r
+ <!-- <typesimple xsi:type="efficas:T_I">21 34 </typesimple>-->\r
+ <!--<valeurDef xsi:type="T_I">21 2.2</valeurDef>-->\r
+ <typesimple xsi:type="efficas:T_I">21</typesimple>\r
+ </valeurDef>\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ </SIMP>\r
+ <typeCree>carte</typeCree>\r
+ </OPER>\r
+ <OPER efficas:nom="CREECARTEFLUX">\r
+ <SIMP efficas:nom="NOMFLUX" efficas:statut="o">\r
+ <valeurDef>\r
+ <TXM>dsd</TXM>\r
+ </valeurDef>\r
+ <nomTypeAttendu>TXM</nomTypeAttendu>\r
+ </SIMP>\r
+ <typeCree>carte_flux_r</typeCree>\r
+ </OPER>\r
+ <OPER efficas:nom="CREEMAILLE">\r
+ <SIMP efficas:nom="NOEUDS" efficas:statut="o" efficas:minOccurences="1" efficas:maxOccurences="-1">\r
+ <!-- La cohérence entre la cardinalité et le type de valeur par défaut n'est pas vérifié -->\r
+ <!-- La cohérence entre la cardinalité et la taille de la liste n'est pas vérifié -->\r
+ <valeurDef>\r
+ <typesimple xsi:type="efficas:T_list_I">1 2</typesimple>\r
+ </valeurDef>\r
+ <!-- La cohérence entre T_list_I et le 'I' du typeAttendu n'est pas vérifié-->\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ </SIMP>\r
+ <typeCree>maille</typeCree>\r
+ </OPER>\r
+ <PROC efficas:nom="E1">\r
+ <efficas:regles>\r
+ <!-- <EXCLUS>ETAT_INIT RESULTAT</EXCLUS>-->\r
+ <EXCLUS>RESULTAT</EXCLUS>\r
+ <EXCLUS>ETAT_INIT</EXCLUS>\r
+ </efficas:regles>\r
+ <FACT efficas:nom="ETAT_INIT" efficas:statut="f" efficas:maxOccurences="-1">\r
+ <SIMP efficas:nom="GROUP_MA_1" efficas:statut="o" efficas:maxOccurences="-1">\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ <validators>NoRepeat</validators>\r
+ </SIMP>\r
+ <SIMP efficas:nom="GROUP_NO_2" efficas:statut="o" efficas:maxOccurences="-1">\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ <validators>NoRepeat</validators>\r
+ </SIMP>\r
+ </FACT>\r
+ <FACT efficas:nom="RESULTAT" efficas:statut="o">\r
+ <SIMP efficas:nom="DEPL" efficas:statut="o">\r
+ <nomTypeAttendu>R</nomTypeAttendu>\r
+ <validators>NoRepeat</validators>\r
+ </SIMP>\r
+ <SIMP efficas:nom="VITE" efficas:statut="f">\r
+ <nomTypeAttendu>R</nomTypeAttendu>\r
+ <validators>NoRepeat</validators>\r
+ </SIMP>\r
+ <SIMP efficas:nom="ACCE" efficas:statut="f">\r
+ <nomTypeAttendu>R</nomTypeAttendu>\r
+ <validators>NoRepeat</validators>\r
+ </SIMP>\r
+ </FACT>\r
+ </PROC>\r
+ <PROC efficas:nom="E2">\r
+ <regles>\r
+ <UN_PARMI>CONCEPT</UN_PARMI>\r
+ <UN_PARMI>CONCEPT2</UN_PARMI>\r
+ </regles>\r
+ <FACT efficas:nom="CONCEPT">\r
+ <SIMP efficas:nom="NOM" efficas:statut="o" efficas:maxOccurences="-1">\r
+ <!-- On attend une classe utilisateur quelconque, elle n'est pas nommée -->\r
+ <nomTypeAttendu>classeUtilisateur</nomTypeAttendu>\r
+ <validators>NoRepeat</validators>\r
+ </SIMP>\r
+ <SIMP efficas:nom="CHAINE" efficas:statut="f">\r
+ <nomTypeAttendu>TXM</nomTypeAttendu>\r
+ </SIMP>\r
+ <SIMP efficas:nom="POSITION" efficas:statut="f">\r
+ <valeurDef>\r
+ <typesimple xsi:type="efficas:T_I">1</typesimple>\r
+ </valeurDef>\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ </SIMP>\r
+ <SIMP efficas:nom="TOUT" efficas:statut="f">\r
+ <plageValeur>\r
+ <into>\r
+ <TXM>OUI Avec Des Blancs</TXM>\r
+ <TXM>NON</TXM>\r
+ <!-- TODO : On ne devrait pas pouvoir mixer des types différents -->\r
+ <!-- <typesimple xsi:type="T_I">1</typesimple>-->\r
+ <!-- Ds un autre cas de type attendu, on pourrait avoir une séquence de tuples -->\r
+ <!-- <tuple>OUI NON</tuple> -->\r
+ <!-- TODO : Vérifier que les tuples sont de type homogène -->\r
+ <!-- <tuple>OUI NON 2</tuple> -->\r
+ </into>\r
+ </plageValeur>\r
+ <nomTypeAttendu>TXM</nomTypeAttendu>\r
+ </SIMP>\r
+ </FACT>\r
+ <!-- Test unicité : Ne devrait pas passer -->\r
+ <SIMP efficas:nom="CONCEPT1">\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ </SIMP>\r
+ <FACT efficas:nom="CONCEPT2">\r
+ <SIMP efficas:nom="essai1">\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ </SIMP>\r
+ </FACT>\r
+ </PROC>\r
+ <!-- Test unicité -->\r
+ <PROC efficas:nom="E3">\r
+ <SIMP efficas:nom="DEFORMATION" efficas:statut="f">\r
+ <valeurDef>\r
+ <TXM>PETIT</TXM>\r
+ </valeurDef>\r
+ <plageValeur>\r
+ <into>\r
+ <!-- Il n'est pas necessaire d'utiliser les "" ds les tuples -->\r
+ <TXM>PETIT</TXM>\r
+ <TXM>PETIT</TXM>\r
+ </into>\r
+ </plageValeur>\r
+ <nomTypeAttendu>TXM</nomTypeAttendu>\r
+ </SIMP>\r
+ <BLOC efficas:nom="b_blocIn">\r
+ <SIMP efficas:nom="ITER_INTE_PAS" efficas:statut="f">\r
+ <valeurDef>\r
+ <typesimple xsi:type="efficas:T_I">0</typesimple>\r
+ </valeurDef>\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ </SIMP>\r
+ <SIMP efficas:nom="ALGO_INTE" efficas:statut="f">\r
+ <plageValeur>\r
+ <into>\r
+ <TXM>ANALYTIQUE</TXM>\r
+ <TXM>SACANTE</TXM>\r
+ <TXM>DEKKER</TXM>\r
+ <TXM>NEWTON_ID</TXM>\r
+ <TXM>BRENT</TXM>\r
+ </into>\r
+ </plageValeur>\r
+ <nomTypeAttendu>TXM</nomTypeAttendu>\r
+ </SIMP>\r
+ <SIMP efficas:nom="CARTE" efficas:statut="f">\r
+ <nomTypeAttendu xsi:type="T_nomClasseUtilisateur" efficas:nom="carte">classeUtilisateur</nomTypeAttendu>\r
+ <!-- REM : Les deux lignes suivantes sont équivalentes et ne permettent pas de spécifier le nom du type utilisateur, le type anonyme hérite de la classe efficas de base -->\r
+ <!-- <nomTypeAttendu xsi:type="T_classe_utilisateur_name">T_classe_utilisateur</nomTypeAttendu>-->\r
+ <!-- <nomTypeAttendu>T_classe_utilisateur</nomTypeAttendu>-->\r
+ <!-- REM : La ligne suivante est interdite par abstraction -->\r
+ <!-- <classeUtilisateurName efficas:nom="carte">T_classe_utilisateur</classeUtilisateurName>-->\r
+ </SIMP>\r
+ <BLOC efficas:nom="b_carte">\r
+ <SIMP efficas:nom="CONTRAINTE" efficas:statut="o" efficas:maxOccurences="-1">\r
+ <doc efficas:fr="Options pour le calcul des contraintes et efforts généralisés"/>\r
+ <plageValeur>\r
+ <into>\r
+ <fonctionUtilisateur>C_NOM_CHAM_INTO(phenomene='CONTRAINTE',categorie='lin')</fonctionUtilisateur>\r
+ </into>\r
+ </plageValeur>\r
+ <nomTypeAttendu>TXM</nomTypeAttendu>\r
+ <validators>NoRepeat</validators>\r
+ </SIMP>\r
+ <condition/>\r
+ </BLOC>\r
+ <condition>"DEFORMATION in ('PETIT','PETIT_REAC','GROT_GDEP')"</condition>\r
+ </BLOC>\r
+ </PROC>\r
+ <PROC efficas:nom="testSIMPList">\r
+ <!-- (la validation des éléments de la liste n'est pas possible en xsd) :-->\r
+ <!-- (essayer de vérifier la taille de liste en fonction de maxOccurences) :-->\r
+ <SIMP efficas:nom="testListI" efficas:minOccurences="0" efficas:maxOccurences="2">\r
+ <valeurDef><typesimple xsi:type="T_list_I">12 13</typesimple></valeurDef>\r
+ <plageValeur>\r
+ <into><typesimple xsi:type="T_list_I">12 13</typesimple> </into>\r
+ <into><typesimple xsi:type="T_list_I">22 23</typesimple> </into>\r
+ <into><typesimple xsi:type="T_list_I">33</typesimple> </into>\r
+ </plageValeur>\r
+ <!-- Vérifier la cohérence entre le nomTypeAttendu et les valeurs définies-->\r
+ <nomTypeAttendu>I</nomTypeAttendu>\r
+ </SIMP>\r
+ <!--Ex 3.2 (idem 2.2, idem 1.2)-->\r
+ <SIMP efficas:nom="testListTuple" efficas:minOccurences="0" efficas:maxOccurences="2">\r
+ <valeurDef><tuple n="3">12 13 14</tuple><tuple n="3">15 16 17</tuple></valeurDef>\r
+ <plageValeur>\r
+ <into><tuple n="3">22 23 24</tuple><tuple n="3">25 26 27</tuple></into>\r
+ <into><tuple n="3">12 13 14</tuple><tuple n="3">15 16 17</tuple></into>\r
+ <into><tuple n="3">32 33 34</tuple><tuple n="3">35 36 37</tuple></into>\r
+ <into><tuple n="3">42 43 44</tuple><tuple n="3">45 46 47</tuple></into>\r
+ <into><tuple n="3">2 3 4</tuple></into> \r
+ </plageValeur>\r
+ <nomTypeAttendu>tuple</nomTypeAttendu>\r
+ </SIMP>\r
+ <SIMP efficas:nom="testListTXM" efficas:minOccurences="0" efficas:maxOccurences="2">\r
+ <valeurDef><TXM>a a</TXM><TXM>b b</TXM><TXM>c c</TXM></valeurDef>\r
+ <plageValeur>\r
+ <into><TXM>a1 a1</TXM><TXM>b1 b1</TXM><TXM>c1 c1</TXM></into>\r
+ <into><TXM>a2</TXM><TXM>b2 b2 b2 b22</TXM><TXM>c1 c1</TXM></into>\r
+ </plageValeur>\r
+ <nomTypeAttendu>TXM</nomTypeAttendu>\r
+ </SIMP>\r
+ </PROC>\r
+ </commandes>\r
+</cata>\r
