Modélisation de réseaux biologiques discrets en programmation logique par contraintes.