Efficient XeF laser excited by a proton beam