La 7e Compagnie commando du 42e RI fut en fait une compagnie parachutiste détachée du 13e RDP et dépositaire de missions spécifiques.