bonsoir
en fait
je veux transformer l'expression
asinp+bsinq
j'ai déja commencé
mais je me suis rendu compte qu'il fallait avoir un lemme bien precis avant d'entreprendre
pouvait vous m'aider a trouver un lemme "suitable" pour cette transformation
merci
-----