* Fix name of BA annex in documentation

        for ticket #42

src/main/ocarina_cmd.adb

@@ -1211,7 +1211,7 @@ procedure Ocarina_Cmd is
         ("   -disable-annexes={annexes}" & "  Desactive one or all annexes");
       Write_Line ("       Annexes :");
       Write_Line ("        all");
-      Write_Line ("        behavior");
+      Write_Line ("        behavior_specification");
       Write_Line ("        real");
       Write_Eol;
 

src/python/ocarina-utils.adb

@@ -167,7 +167,7 @@ package body Ocarina.Utils is
                     & "  Desactive one or all annexes");
       Write_Line ("       Annexes :");
       Write_Line ("        all");
-      Write_Line ("        behavior");
+      Write_Line ("        behavior_specification");
       Write_Line ("        real");
       Write_Eol;
 

tests/test_ocarina_help/dummy.aadl.out

@@ -71,6 +71,6 @@ Usage:
    -disable-annexes={annexes}  Desactive one or all annexes
        Annexes :
         all
-        behavior
+        behavior_specification
         real