Gratin de chou-fleur aux champignons

Ingrédients

• 600 g de fleurettes de chou-fleur frais ou surgelé
• 250 g de champignons de Paris bruns
• 20 cl de crème liquide entière
• 10 cl de lait
• 1 sachet de crème de champignons (Royco minute soup de Liebig)
• 1 petite poignée d'emmental râpé
• 2 cuillères à soupe d'huile d'olive à l'ail
• 15 g de beurre + un peu pour le plat
• sel et poivre noir du moulin