Proton synchrotron