Ce qu'ils essayent de t'expliquer c'est que tu as une référence vers un pointeur de type A*.
[paraphrase mode=on]Comme Kevin l'a dit ta référence n'est pas constante, ce qui veut dire que ta fonction f(A* &toto) peut modifier toto, or ta fonction identifie toto comme étant de type A*, ce qui veut dire que si toto devait être modifié, f y mettrait certainement une valeur de type A*, qui pourrait être de type B* mais qui pourrait aussi ne pas l'être.
Mais puisque le compilateur sait que pi est de type B*, il ne veut pas t'autoriser à mettre n'importe quelle valeur de type A* dedans...[/paraphrase]