A new version which integrates the correction of a bug forgotten in the previous version.