sceglierei una gif

edit
anche se a volte risultano impegnative per alcuni browser, quindi è da valutare quanto questa gif impegna il processore