Projet Analyses de Systèmes REOC