Commit 3e9ae3ea640e0f4081a19408cea08e477b510d30

Sylvain 2022-12-03T13:36:09

Fix wrong clang-tidy modification. This is an integer division. Thanks @meyraud705 (see PR #6725)