…
/* On initialise CUDA... */
initialisation_cuda();

PetscFunctionBeginUser;
PetscCall(PetscInitialize(&argc, &argv, NULL, NULL));
…