creation de pid a partir du code de sommation.ml
Merge branch 'master' of https://github.com/antoinekagit/resistances
maj des ignores
Merge branch 'master' of https://github.com/antoinekagit/resistances
debut de pid