The number of orders with thirteen elements

C. Chaunier, N. Lygeros