Dear list,

I've spent a fair amount of time today trying to do two things :

- delete an element from an array (and end up with an array of size n-1),

- add an element to an array (end up with an array of size n+1),

both at an arbitrary position in the array.

Is there any simple and elegant way to do this ?

Thank you very much in advance,

Pierre.