DéfinitionsDecottignies