Citation: 4A_411/2013 E. 1

La défenderesse a conclu au rejet de l'action et elle a pris des conclusions reconventionnelles. Les demandeurs devaient être condamnés à payer solidairement 6'470 fr. avec intérêts au taux de 5% par an dès le 9 février 2012; le tribunal devait donner mainlevée définitive des oppositions formées dans les deux poursuites. Le tribunal s'est prononcé le 11 février 2013. Il a rejeté l'action principale. Accueillant l'action reconventionnelle, il a condamné les demandeurs à payer solidairement 6'240 fr. avec intérêts selon les conclusions correspondantes; à concurrence de ces prestations, le tribunal a donné mainlevée définitive des oppositions. L'Autorité de recours en matière civile du Tribunal cantonal du canton de Neuchâtel a rejeté le recours des demandeurs par arrêt du 2 juillet 2013.