====== CR rapide du 08/01/09 ======
 
//(rédigé par PA)//

Présents : PA, CA, GA, MM, PS.

Points discutés : 

== Admin ==

  * Comités de sélection
      CA présente les directives par établissement...
  * Miles : organisation de la journée en deux parties
      * lieux
      * contenu
      * contact : membres axe IL => CA cet aprem
      * journées d'expertise en juin/juillet à préparer
  * Cosmal : aider Arnaud rapidement svp
  * ANR : le point par CA
  * restructurations équipe : point rapide
  * repas équipe : proposition jeudi 15 à 12h (mail PA pour CA)
  * CVS + wiki pour PS : règlé
  * installation Costolob pour PS

== Kmelia ==

  * discussions sur les observables et la composition Kmelia => SC
  * valide celles du [[cr231208|cr du 23/12/08]]
  * amendement GA
      * séparer observables dans les assertions
      
^ ^ Kmelia ^ KmeliaData ^ Syntaxe    ^ commentaire       ^
| Variables  | V<sub>T</sub>  | V<sub>T</sub> = V<sub>To</sub>U  V<sub>Tno</sub>  | Var   | V<sub>To</sub> |
| ||   | VarNV ou Private    | V<sub>Tno</sub> |
| Pre   | pre |  pre = pre<sub>o</sub> v pre<sub>no</sub>  | Pre | pre<sub>o</sub>     |
| ||   | PreNV | pre<sub>no</sub> |
| Post | post|  post = post<sub>o</sub> v post<sub>no</sub>  | Post | post<sub>o</sub>     |
| ||   | PostNV | post<sub>no</sub> |
| Invt   | Invt |  Invt = Invt<sub>o</sub> v Invt<sub>no</sub>  | INVARIANT | pre<sub>o</sub>     |
| ||   | INVARIANTNV| Invt<sub>no</sub> |

la compatibilité ascendante de Kmelia est a priori conservée