Etude des modèles épidémiologiques par les méthodes du Calcul Formel - OUALI MUSTAPHA (My University, 2016)