I agree with the (b) version of Lars and Nathaniel Johnston. My original seq is badly defined and ... wrong. Best, É. > Le 13 juil. 2015 à 08:21, Lars Blomberg <lars.blomberg at visit.se> a écrit : > > Nathaniel Johnston