##!/bin/sh $Id$ _PROB_coredumps="Images de la mémoire" _PROB_filename="Nom de fichier" _PROB_date="Date de création"