Conception et réalisation d'un vérificateur de modèles AltaRica. (Conception and realisation of a model checker for AltaRica models)