Multi-species mean-field spin-glasses. Rigorous results