some more proofs done. Groups still to be finished ! Not sure how to do it. Arrrgh !