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 is 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.