3.
Quant au fond, les griefs soulevés dans le recours sont manifestement mal fondés dans la mesure où ils sont recevables.
3.1 Les recourants disent tout d'abord ne pas pouvoir admettre que la Commission cantonale de surveillance n'ait pas reproché à l'office "l'abandon inexplicable" de la procédure d'exequatur engagée auprès du Tribunal de Grande Instance de Bonneville (recours, p. 6 s. ch. 1). Or, selon les constatations de fait de la décision attaquée, la procédure en question a bel et bien abouti, puisque l'exequatur a été ordonné le 22 mars 2001 par ledit tribunal.
A vrai dire, ce grief des recourants concerne l'hypothèque provisoire.