OK. I understand your point : the back channel logout will be performed **only** if the service is configured to do so whereas the debug message always says that a back channel logout is performed...
I will change that.