J'ai un script bash qui lance un processus enfant qui plante (en fait, se bloque) de temps en temps et sans raison apparente (source fermée, donc je ne peux pas faire grand-chose à ce sujet). En conséquence, j'aimerais pouvoir lancer ce processus pendant un laps de temps donné et le tuer s'il ne...