L'Empire du Gratine specializes in gratin-topped tacos.