N-body problem, periodic orbits, choreographies, 
computer assisted proofs