A Project for my training in ZF