Theories, rules and calculations: Denis Papin, before and after the controversy with G. W. Leibniz (2015)