Le brevet sur le format GIF expire