Delete declenchementVR.pl~