DEGAUSSER

Definition of DEGAUSSER