Formalisations mathématiques de l’évolution biologique