restos def