Génétique formelle : méthodes et exercices corrigés