Correction since commit [6681], do not compile at irene (ok at obelix) due to error in mismatch of types.