diff --git a/easycrypt.png b/easycrypt.png new file mode 100644 index 0000000000..493c579470 Binary files /dev/null and b/easycrypt.png differ