// Copie la chaine source (src) dans la chaine destination (dst)
// Version plus compréhensible
void copy_str( char *dst, char *src ) {
	while ( ( *dst = *src ) != '\0') {
		dst++;
		src++;
	}
}