modifications des while