Main differences between V11.7.2 and V11.7.3

Main differences between V11.7.2 and V11.7.3

This new version only corrects an anomaly in the previous one, as saving result files was not well managed: the first ".db" file in the folder was systematically recovered to produce the output files (ephemeris and/or SQLite files) rather than the temporary current file.