El portugués Pizzi ficha por el Deportivo de la Coruña