<div dir="ltr"><div><div><div><div><div><div><div>Dear list,<br><br></div>I've spent a fair amount of time today trying to do two things :<br></div>- delete an element from an array (and end up with an array of size n-1),<br></div>- add an element to an array (end up with an array of size n+1),<br><br></div>both at an arbitrary position in the array. <br><br></div>Is there any simple and elegant way to do this ?<br><br></div>Thank you very much in advance,<br><br></div>Pierre.<br></div>