1Plongez les coquillettes dans une grande casserole d'eau bouillante salée. Remuez-les délicatement et laissez cuire le temps indiqué sur le paquet, en veillant à les garder al dente.
2Pendant ce temps, nettoyez soigneusement les champignons et coupez-les en fines tranches. Faites chauffer l'huile dans une poêle et mettez l'oignon pelé et émincé à revenir. Ajoutez les champignons et poursuivez la cuisson pendant 5 minutes, en remuant régulièrement. Assaisonnez avec du sel et du poivre à votre convenance.
3Une fois les pâtes cuites, égouttez-les soigneusement et remettez-les dans la casserole. Dans un bol, fouettez les œufs avec la farine, la crème liquide et l'emmental râpé. Versez ce mélange sur les coquillettes, ajoutez les champignons et mélangez bien pour que tous les ingrédients soient bien répartis. Salez et poivrez selon votre goût.
4Beurrez généreusement un moule à bord haut et versez-y le mélange de pâtes aux champignons. Enfournez le tout pendant 20 à 25 minutes, jusqu'à ce que le dessus soit bien doré et que le gratin soit cuit à cœur.
5Servez le gratin chaud, accompagné d'une salade verte ou de légumes vapeur pour un repas complet et savoureux.