The search functionality needs JavaScript enabled
On met fin au context MPI, si c'est pas déjà fais. On appel le destructeur du processus.
void finalize ();