from PIL import Image
img = Image.open('RedEye.png')
pixels = img.load()
for i in range(img.size[0]):
    for j in range(img.size[1]):
            if pixels[i,j] == (255, 0, 0):
                pixels[i,j] = (128, 128, 128)
#Optionnel : aggrandir l'image 300 x 300 pixels
img = img.resize((300,300))
img.show
img.save('FilteredRedEye.png')