Work in progress
Reorganized dirtectories
Finished the proof of standard case !