Notre technique repose en ce qui concerne cinqcriteres verifiables, accordes outre en tenant si programme