Casserole gratinée de jambon, brocolis et choux-fleurs