* Typo on Swap_Ranges example
        * Add Reverse_Copy and Reverse_Array (reverse in ACSL by Example)
        * Work on reverse, minor reformatting
        * Add variant of copy
        * Iteration on a variant of Copy algorihm
        * Copy is now fully proved