El Real Madrid piensa ejercer el derecho de tanteo por Mariano, al que pretende el Sevilla FC