Gevrey-lavaux-tortochot