Extend Rodin database (How to extend Rodin Tutorial)