Decet Romanum Pontificem — papal bull from 1725