Notes pour plus tard: Cesser d’utiliser bêtement des boucles pour réaliser des copies de tableaux, même partielles. À la place, penser à faire appel à System.arrayCopy(Object src, int srcPos, Object dest, int destPos, int length) qui est plus rapide et facilite la relecture (merci aux considérations générales sur la performance des applications java d’Ibrahim Moukouop).