Thanks, it works !
I had found a thread in which it was told .profile was supposed to be an equivalent to .bashrc (I wasn't sure it worked for aliases though), but I couldn't source it with "source .profile". "source /home/user/.profile" works though, I guess it was just the path that was required (I just tested with ./.profile, it works too).