put thanks instead of abstract
update rapport

    add proof
    fix stuffs