Implementation of a Parrot Mambo controller in Lustre.
TPs d'entraînement à l'agreg
Un même code de simulation d'EDP1 1D
