Definition of Varenna