Strategies De Restriction Logicielle