[math-fun] "France" boundary dimension