We define a formal procedure for inferring gene-protein-reaction (GPR) relations from complete metabolic models, using a logical representation of knowledge and a small set of inference rules. We show that different use cases of metabolic models requires difference GPR relations. Three examples from the yeast Saccharomyces cerevisae illustrate the procedure and demonstrate its usefulness.Nous définissons une procédure formelle pour l’inférence de relations gène-protéine- réaction (GPR) à partir de modèles métaboliques complets, par moyen d’une représentation logique des connaissances et un petit ensemble de règles d’inférence. Nous montrons que les différents cas d’utilisation requièrent des différentes relations GPR. Trois exemples tirés de la levure Saccharomyces cerevisae illustrent la procédure et démontrent son utilité
