Commit 04256a537255875dd4ba136b3a00b5bd7d15edc6

Sylvain 2022-03-09T15:12:25

Fix compilation (see #5313)