864865866867868869870871872873874
if (src.isDeeper()) { startDepth = sourceQueue.getCurrentMaxDepth(); } sourceQueue.reStart(startDepth); } else { sourceQueue.reScan(); } } // Utile ???