Fix/coredump generation

Les coredumps n'étaient pas trouvés car le "true ||" permettant d'éviter un fail de job en cas d'absence de coredumps était localisé avant la commande de recherche. Cela faisait que la commande de recherche était tout simplement ignorée. Je m'étais inspiré d'un autre fichier gitlab-ci pour écrire celui-ci. Il faut donc que je retrouve la même erreur ailleurs.