Revert "2nd commit"ok

This reverts commit 46030c7f5c4aa9d0f46ee5cb658d49edc2b38201.
Revert "3rd commit  // modif of dev.ini" ok

This reverts commit 8ba02a13156bc6b3a0e9b9498d370fe13c14a823.