Building Multi-Agent Environments with Theoretical Guarantees on the Learning of Ethical Policies