Ajuizamento de ação judicial para compelir a ré a instituir a arbitragem, nos termos do art. 7.º da Lei 9.307/96