Modélisation et analyse des protocoles MAC multi-canaux basés sur l’approche du ”canal dédié”