Definition of "Roch"