Filet mignon de porc mariné et brocoli

Name: Filet mignon de porc mariné et brocoli
Prep time: 15 min
Cook time: 1 h 5 min
Total time: 1 h 5 min
Yield: 4 portions
Ingredients: 1 filet mignon de porc; 1 jus de citron; 1 c. à soupe de moutarde; 2 c. à soupe d'huile d'olive; 2 pincées de sel; 2 pincées de poivre blanc moulu; 800 g de brocoli; 600 g d'eau; 1 pincée d'ail en poudre