A.Y. a fait opposition totale au commandement de payer, le 7 février 2017.
B. Par requête du 11 avril 2017, adressée au Tribunal civil des Montagnes et du Val-de-Ruz (ci-après : le tribunal civil), la société X. a demandé la mainlevée définitive de l’opposition, avec suite de frais et dépens. Il déposait notamment la décision du même tribunal civil du 25 octobre 2016, qui constatait que la société X. avait requis l’expulsion de A.Y. et B.Y. de locaux qu’ils occupaient à Z., que les requis avaient pris des conclusions tendant au rejet de la requête et qu’ils avaient ensuite acquiescé à la requête en libérant les locaux ;