Looks like @gilles-et-jeanne hasn't received any replies yet!