double croche {Fr.}