Comment insérer un nouvel élément dans un tableau à n'importe quelle position en PHP ?

Bonjour à tous ! Je suis débutant en PHP et j'ai rencontré un problème en travaillant avec les tableaux. Je dois insérer un nouvel élément dans un tableau à une position arbitraire, et pas seulement l'ajouter au début ou à la fin. Voici un exemple : j'ai un tableau d'utilisateurs : ```php $users = ['Anna', 'Boris', 'Victor']; ``` Je veux insérer le nouveau nom 'Gleb' après 'Boris', pour obtenir : ```php // ['Anna', 'Boris', 'Gleb', 'Victor'] ``` J'ai essayé d'utiliser `array_push()` — il ajoute seulement à la fin. `array_unshift()` — seulement au début. Et il n'y a pas de fonction comme `array_insert()` en PHP. J'ai entendu parler de `array_splice()`, mais je ne comprends pas complètement comment l'utiliser. Peut-être existe-t-il une autre méthode ? Par exemple, diviser le tableau en deux parties, insérer l'élément, puis les fusionner ? Mais cela semble trop lourd. S'il vous plaît, dites-moi comment résoudre correctement ce problème. J'aimerais voir un exemple de code avec des explications, afin de pouvoir l'utiliser dans mes projets. Merci d'avance ! <<>>

Utilisation de arr