Œufs cocotte au lard, champignons et comté