L'archive
---------
Une fois décompressé, le répertoire contient entre autre.
 
 - Ce fichier README.txt

 - Un répertoire Alt/ constitué de :
   - un Makefile "GNUmakefile"
   - une liste de fichier ".alt"
   - la commande "make" dans ce répertoire produit:
      - un fichier tank.alt
      - des fichiers ".diff"

 - un repertoire Acheck/ consitué de :
   - un Makefile "GNUmakefile"
   - une liste de fichier ".acheck"
   - la commande "make" dans ce répertoire produit:
      - un fichier tank.spe

 - deux fichiers latex "slides-fr.tex" et "slides-tank-fr.tex"
 
 - Deux fichiers de style 
   - "beamerthemeSeb.sty"
   - "altarica.sty"

 - un Makefile "GNUmakefile"
 - la commande "make" dans ce répertoire produit:
    - un appel à "make" dans le réperoire "Alt/"
    - un appel à "make" dans le réperoire "Acheck/"
    - un appel à "arc" avec les fichiers "Alt/tank.alt" et "Acheck/tank.spe"
ce qui génère un grand nombre de fichiers:
      - des fichiers "Alt/Controller_*"
      - des fichiers "*.validate"
      - des fichiers "*.validation"
      - des fichiers "*.validation-spe"
      - des fichiers "*.prop"
      - des fichiers "*.res"
      - des fichiers "*.dot"
      - un fichier "tank.time"
    - des appels à "dot" pour générer les fichiers "*.pdf" correspondant
    - un appel à "pdflatex slides-fr.tex" pour générer "slides-fr.pdf".

Normalement, la commande "make" sur l'archive juste décompressée doit se déouler correctement.

Le sujet
--------
 - Les questions sont dans le fichier "slides-tank-fr.tex" que vous devez donc compétez.

 - Le seul fichier à rendre est le fichier "slides-fr.pdf".

 - Utiliser exclusivement les outils AltaRica installés au CREMI 
     - "~algriffa/bin/arc" 
     - "~algriffa/bin/arc/altarica-studio" 
   car la fonction "project" des versions précédentes est buggée.

ATTENTION
---------
 - du fait que dans le répertoire "Alt/", le fichier "tank.alt" dépends de fichiers générés par les calculs, chaque appel à la commande "make" refera tous les calculs.
 - pour obtenir des résultats "stables", il est nécessaire de faire deux appels successifs à la commande "make".
