Petavius crater and Rima Petavius